JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Numerical software
• Computer algebra systems
• AMPL
• Algebraic modeling language
• Linear programming
• Gurobi
• Automatic differentiation
• Nl
• Pyomo
• SCIP

Introduction to Semidefinite Programs Masakazu Kojima, Tokyo Institute of Technology Semidefinite Programming and Its Application January, 2006 Institute for Mathematical Sciences National University of Singapore

Source URL: www.ims.nus.edu.sg

Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher

Source URL: ect.bell-labs.com

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical analysis
• Measure theory
• Generalised Whitehead product
• Indexed grammar

Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid

Source URL: drops.dagstuhl.de

• Model theory
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Allegory
• Pullback
• Substitution
• Structure
• Unification
• Kripke semantics
• Interpretation

C o n n e c t i n g G re a t M i n d s

Source URL: www.cin.ufpe.br

• Reasoning
• Deductive reasoning
• Programming paradigms
• Artificial intelligence
• Automated theorem proving
• Reasoning system
• Mathematical logic
• Knowledge representation and reasoning
• Computer science
• Logic programming
• Inference
• Natural deduction

Recursive Modules for Programming Keiko Nakata Jacques Garrigue Research Institute for Mathematical Sciences,

Source URL: cs.ioc.ee

A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin.

Source URL: wiki.event-b.org

• Mathematics
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Set theory
• Mathematical notation
• Set-builder notation
• Substitution
• Universal quantification
• FO
• Associative property

Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Model theory
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• First-order logic
• Linear temporal logic
• FO

Noname manuscript No. (will be inserted by the editor) Extended Formulations in Mixed Integer Conic Quadratic Programming Juan Pablo Vielma, Iain Dunning, Joey Huchette and Miles

Source URL: web.mit.edu

• Operations research
• Combinatorial optimization
• Approximations
• Mathematical optimization
• Relaxation
• Linear programming relaxation
• Linear programming
• Integer programming
• Approximation algorithm
• Constructible universe

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages